Control of design process with petri net for CAD.
نویسندگان
چکیده
منابع مشابه
Supporting Geotechnical Design with Petri-Net-Based Process Patterns
The paper deals with process patterns based on Coloured Petri-Nets as a process model to coordinate planning in structural engineering, e.g. geotechnical engineering. Coloured Petri-Nets are mathematically well-founded, and are often used to solve problems concerning concurrency in processes in other engineering domains. The paper introduces a new method to represent geotechnical information in...
متن کاملControlling Petri Net Process Models
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a process to behave in a desirable way. Process models that behave properly without any control are often called “sound”. For process models that behave properly when being controlled, i.e., for controllable processes, ...
متن کاملA Product Design Process Modeling Methodology Based on Petri Net
In order to realize process modeling and management in the product design, a business process modeling methodology is put forward based on Petri net. In this paper, we merge place node and transition node in Petri net, and reserve token element only by analyzing execution mechanism and dispatching principle of Petri net. In parallel design process instances, a sub-token is introduced, which avo...
متن کاملRich Petri net with VDM-SL for Business Process Modeling
Today, business process modeling languages as one of the main components of information systems design are discussed. Many of these languages include limitations and possibilities that they cause only certain types of business process can be modeled. Just some of the business processes modeling languages, can support all of perspectives and few of them have real-time descriptions. This study pr...
متن کاملOptimal Petri Net Monitor Design
The classical partition of the event set into controllable and uncontrollable events from supervisory control theory is replaced by introducing the concept of control and observation cost of an event. This leads naturally to consider an optimal control problem for a given logical control specification. On the other hand, if we consider a timed model a performance optimization may be considered ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Japan Society for Precision Engineering
سال: 1988
ISSN: 1882-675X,0912-0289
DOI: 10.2493/jjspe.54.157